A MILP-based Decision Procedure for the (Fuzzy) Description Logic ALCB
نویسندگان
چکیده
To overcome the inability of Description Logics (DLs) to represent vague or imprecise information, several fuzzy extensions have been proposed in the literature. In this context, an important family of reasoning algorithms for fuzzy DLs is based on a combination of tableau algorithms and Operational Research (OR) problems, specifically using Mixed Integer Linear Programming (MILP). In this paper, we present a MILP-based tableau procedure that allows to reason within fuzzy ALCB, i.e., ALC with individual value restrictions. Interestingly, unlike classical tableau procedures, our tableau algorithm is deterministic, in the sense that it defers the inherent non-determinism in ALCB to a MILP solver.
منابع مشابه
Evaluating Construction Projects by a New Group Decision-Making Model Based on Intuitionistic Fuzzy Logic Concepts
Select an appropriate project is a main key for contractors to increase their profits. In practice, in this area the uncertainty and imprecise of the involved parameters is so high. Therefore, considering fuzzy sets theory to deal with uncertainly is more appreciate. The aim of this paper is present a multi-criteria group decision-making model under an intuitionistic fuzzy set environment. Henc...
متن کاملAn integrated fuzzy multiple objective decision framework to optimal fulfillment of engineering characteristics in quality function development
Quality function development (QFD) is a planning tools used to fulfill customer expectation and QFD is a systematic process to translating customer requirement (WHATs) into technical description (HOWs). QFD aims to maximize customer satisfactions related to enterprise satisfaction. The inherent fuzziness of relationships in QFD modeling justifies the use of fuzzy regression for estimating the r...
متن کاملAn integrated fuzzy multiple objective decision framework to optimal fulfillment of engineering characteristics in quality function development
Quality function development (QFD) is a planning tools used to fulfill customer expectation and QFD is a systematic process to translating customer requirement (WHATs) into technical description (HOWs). QFD aims to maximize customer satisfactions related to enterprise satisfaction. The inherent fuzziness of relationships in QFD modeling justifies the use of fuzzy regression for estimating the r...
متن کاملDeciding Fuzzy Description Logics by Type Elimination
We present a novel procedure FixIt(ALC) for deciding knowledge base satisfiability in the Fuzzy Description Logic (FDL) ALC. FixIt(ALC) does not search for tree-structured models as in tableau-based proof procedures, but embodies a fixpoint-computation of canonical models that are not necessarily tree-structured. Conceptually, the procedure is based on a type-elimination process. Soundness, com...
متن کاملSite selection for wastewater treatment plant using integrated fuzzy logic and multicriteria decision model: A case study in Kahak, Iran
One of the environmental issues in urban planning is finding a suitable site for constructing infrastructures such as water and wastewater treatment plants. There are numerous factors to be considered for this purpose, which make decision-making a complex task. We used an integrated fuzzy logic and multicriteria decision model to select a suitable site for establishing wastewater treatment plan...
متن کامل